Understanding Necessity Causally

نویسندگان

چکیده

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Stabilization of Causally and Non–Causally Coupled Map Lattices

Two-dimensional coupled map lattices have global stability properties that depend on the coupling between individual maps and their neighborhood. The action of the neighborhood on individual maps can be implemented in terms of “causal” coupling (to spatially distant past states) or “non-causal” coupling (to spatially distant simultaneous states). In this contribution we show that globally stabl...

متن کامل

Causally Consistent Dynamic Slicing

We offer a lattice-theoretic account of dynamic slicing for π-calculus, building on prior work in the sequential setting. For any run of a concurrent program, we exhibit a Galois connection relating forward slices of the start configuration to backward slices of the end configuration. We prove that, up to lattice isomorphism, the same Galois connection arises for any causally equivalent executi...

متن کامل

Causally Consistent Reversible Choreographies

Under a reversible semantics, computation steps can be undone. Œis paper addresses the integration of reversible semantics into process languages for communication-centric systems, equipped with behavioral types. In prior work, we introduced a monitors-as-memories approach to seamlessly integrate reversible semantics into a process model in which concurrency is governed by session types (a clas...

متن کامل

Causally Ordering Broadcast Protocol

The distributed applications require group communications among multiple entities. In the group communication, it is important to discuss in what order each entity in the group can receive data units. In order to realize fault-tolerant systems, the same events have to occur in the same order in each entity. The ordering among the events is known as a causal order. This paper presents a reliable...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: MANUSYA

سال: 2006

ISSN: 0859-9920,2665-9077

DOI: 10.1163/26659077-00901003